/ Celestin Apprentice 4 / Apprentice-Release4.iso / Utilities / Text / OzTeX 1.9 / TeX-inputs / Tools / theorem.sty

< prev

next >

MacOS 8.1

Win98

DOS

view JSON data

view as text

+--------+-------------------------+-------------------------+--------+--------+
|00000000| 25 25 20 0d 25 25 20 54 | 68 69 73 20 69 73 20 66 |%% .%% T|his is f|
|00000010| 69 6c 65 20 60 74 68 65 | 6f 72 65 6d 2e 73 74 79 |ile `the|orem.sty|
|00000020| 27 2c 20 67 65 6e 65 72 | 61 74 65 64 20 0d 25 25 |', gener|ated .%%|
|00000030| 20 6f 6e 20 3c 31 39 39 | 35 2f 31 2f 32 34 3e 20 | on <199|5/1/24> |
|00000040| 77 69 74 68 20 74 68 65 | 20 64 6f 63 73 74 72 69 |with the| docstri|
|00000050| 70 20 75 74 69 6c 69 74 | 79 20 28 32 2e 32 69 29 |p utilit|y (2.2i)|
|00000060| 2e 0d 25 25 20 0d 25 25 | 20 54 68 65 20 6f 72 69 |..%% .%%| The ori|
|00000070| 67 69 6e 61 6c 20 73 6f | 75 72 63 65 20 66 69 6c |ginal so|urce fil|
|00000080| 65 73 20 77 65 72 65 3a | 0d 25 25 20 0d 25 25 20 |es were:|.%% .%% |
|00000090| 74 68 65 6f 72 65 6d 2e | 64 74 78 20 20 28 77 69 |theorem.|dtx  (wi|
|000000a0| 74 68 20 6f 70 74 69 6f | 6e 73 3a 20 60 70 61 63 |th optio|ns: `pac|
|000000b0| 6b 61 67 65 27 29 0d 25 | 25 20 0d 25 25 20 49 4d |kage').%|% .%% IM|
|000000c0| 50 4f 52 54 41 4e 54 20 | 4e 4f 54 49 43 45 3a 20 |PORTANT |NOTICE: |
|000000d0| 0d 25 25 20 54 68 69 73 | 20 66 69 6c 65 20 69 73 |.%% This| file is|
|000000e0| 20 70 61 72 74 20 6f 66 | 20 74 68 65 20 60 74 6f | part of| the `to|
|000000f0| 6f 6c 73 27 20 62 75 6e | 64 6c 65 20 0d 25 25 20 |ols' bun|dle .%% |
|00000100| 69 6e 20 74 68 65 20 4c | 61 54 65 58 32 65 20 64 |in the L|aTeX2e d|
|00000110| 69 73 74 72 69 62 75 74 | 69 6f 6e 2e 20 0d 25 25 |istribut|ion. .%%|
|00000120| 20 0d 25 25 20 59 6f 75 | 20 61 72 65 20 6e 6f 74 | .%% You| are not|
|00000130| 20 61 6c 6c 6f 77 65 64 | 20 74 6f 20 64 69 73 74 | allowed| to dist|
|00000140| 72 69 62 75 74 65 20 74 | 68 69 73 20 66 69 6c 65 |ribute t|his file|
|00000150| 2e 20 0d 25 25 20 46 6f | 72 20 64 69 73 74 72 69 |. .%% Fo|r distri|
|00000160| 62 75 74 69 6f 6e 20 6f | 66 20 74 68 65 20 6f 72 |bution o|f the or|
|00000170| 69 67 69 6e 61 6c 20 73 | 6f 75 72 63 65 20 73 65 |iginal s|ource se|
|00000180| 65 20 0d 25 25 20 74 68 | 65 20 63 6f 70 79 72 69 |e .%% th|e copyri|
|00000190| 67 68 74 20 6e 6f 74 69 | 63 65 20 69 6e 20 74 68 |ght noti|ce in th|
|000001a0| 65 20 73 6f 75 72 63 65 | 20 66 69 6c 65 2c 20 61 |e source| file, a|
|000001b0| 6e 64 20 0d 25 25 20 69 | 6e 20 74 68 65 20 66 69 |nd .%% i|n the fi|
|000001c0| 6c 65 20 72 65 61 64 6d | 65 2e 74 78 74 20 64 69 |le readm|e.txt di|
|000001d0| 73 74 72 69 62 75 74 65 | 64 20 77 69 74 68 20 74 |stribute|d with t|
|000001e0| 68 65 20 0d 25 25 20 74 | 6f 6f 6c 73 20 62 75 6e |he .%% t|ools bun|
|000001f0| 64 6c 65 2e 20 0d 25 25 | 20 0d 5c 64 65 66 5c 66 |dle. .%%| .\def\f|
|00000200| 69 6c 65 76 65 72 73 69 | 6f 6e 7b 76 32 2e 32 61 |ileversi|on{v2.2a|
|00000210| 7d 0d 5c 64 65 66 5c 66 | 69 6c 65 64 61 74 65 7b |}.\def\f|iledate{|
|00000220| 31 39 39 34 2f 30 32 2f | 30 33 7d 0d 5c 64 65 66 |1994/02/|03}.\def|
|00000230| 5c 64 6f 63 64 61 74 65 | 20 7b 31 39 39 34 2f 30 |\docdate| {1994/0|
|00000240| 32 2f 32 38 7d 0d 25 25 | 20 5c 43 68 61 72 61 63 |2/28}.%%| \Charac|
|00000250| 74 65 72 54 61 62 6c 65 | 0d 25 25 20 20 7b 55 70 |terTable|.%%  {Up|
|00000260| 70 65 72 2d 63 61 73 65 | 20 20 20 20 5c 41 5c 42 |per-case|    \A\B|
|00000270| 5c 43 5c 44 5c 45 5c 46 | 5c 47 5c 48 5c 49 5c 4a |\C\D\E\F|\G\H\I\J|
|00000280| 5c 4b 5c 4c 5c 4d 5c 4e | 5c 4f 5c 50 5c 51 5c 52 |\K\L\M\N|\O\P\Q\R|
|00000290| 5c 53 5c 54 5c 55 5c 56 | 5c 57 5c 58 5c 59 5c 5a |\S\T\U\V|\W\X\Y\Z|
|000002a0| 0d 25 25 20 20 20 4c 6f | 77 65 72 2d 63 61 73 65 |.%%   Lo|wer-case|
|000002b0| 20 20 20 20 5c 61 5c 62 | 5c 63 5c 64 5c 65 5c 66 |    \a\b|\c\d\e\f|
|000002c0| 5c 67 5c 68 5c 69 5c 6a | 5c 6b 5c 6c 5c 6d 5c 6e |\g\h\i\j|\k\l\m\n|
|000002d0| 5c 6f 5c 70 5c 71 5c 72 | 5c 73 5c 74 5c 75 5c 76 |\o\p\q\r|\s\t\u\v|
|000002e0| 5c 77 5c 78 5c 79 5c 7a | 0d 25 25 20 20 20 44 69 |\w\x\y\z|.%%   Di|
|000002f0| 67 69 74 73 20 20 20 20 | 20 20 20 20 5c 30 5c 31 |gits    |    \0\1|
|00000300| 5c 32 5c 33 5c 34 5c 35 | 5c 36 5c 37 5c 38 5c 39 |\2\3\4\5|\6\7\8\9|
|00000310| 0d 25 25 20 20 20 45 78 | 63 6c 61 6d 61 74 69 6f |.%%   Ex|clamatio|
|00000320| 6e 20 20 20 5c 21 20 20 | 20 20 20 44 6f 75 62 6c |n   \!  |   Doubl|
|00000330| 65 20 71 75 6f 74 65 20 | 20 5c 22 20 20 20 20 20 |e quote | \"     |
|00000340| 48 61 73 68 20 28 6e 75 | 6d 62 65 72 29 20 5c 23 |Hash (nu|mber) \#|
|00000350| 0d 25 25 20 20 20 44 6f | 6c 6c 61 72 20 20 20 20 |.%%   Do|llar    |
|00000360| 20 20 20 20 5c 24 20 20 | 20 20 20 50 65 72 63 65 |    \$  |   Perce|
|00000370| 6e 74 20 20 20 20 20 20 | 20 5c 25 20 20 20 20 20 |nt      | \%     |
|00000380| 41 6d 70 65 72 73 61 6e | 64 20 20 20 20 20 5c 26 |Ampersan|d     \&|
|00000390| 0d 25 25 20 20 20 41 63 | 75 74 65 20 61 63 63 65 |.%%   Ac|ute acce|
|000003a0| 6e 74 20 20 5c 27 20 20 | 20 20 20 4c 65 66 74 20 |nt  \'  |   Left |
|000003b0| 70 61 72 65 6e 20 20 20 | 20 5c 28 20 20 20 20 20 |paren   | \(     |
|000003c0| 52 69 67 68 74 20 70 61 | 72 65 6e 20 20 20 5c 29 |Right pa|ren   \)|
|000003d0| 0d 25 25 20 20 20 41 73 | 74 65 72 69 73 6b 20 20 |.%%   As|terisk  |
|000003e0| 20 20 20 20 5c 2a 20 20 | 20 20 20 50 6c 75 73 20 |    \*  |   Plus |
|000003f0| 20 20 20 20 20 20 20 20 | 20 5c 2b 20 20 20 20 20 |        | \+     |
|00000400| 43 6f 6d 6d 61 20 20 20 | 20 20 20 20 20 20 5c 2c |Comma   |      \,|
|00000410| 0d 25 25 20 20 20 4d 69 | 6e 75 73 20 20 20 20 20 |.%%   Mi|nus     |
|00000420| 20 20 20 20 5c 2d 20 20 | 20 20 20 50 6f 69 6e 74 |    \-  |   Point|
|00000430| 20 20 20 20 20 20 20 20 | 20 5c 2e 20 20 20 20 20 |        | \.     |
|00000440| 53 6f 6c 69 64 75 73 20 | 20 20 20 20 20 20 5c 2f |Solidus |      \/|
|00000450| 0d 25 25 20 20 20 43 6f | 6c 6f 6e 20 20 20 20 20 |.%%   Co|lon     |
|00000460| 20 20 20 20 5c 3a 20 20 | 20 20 20 53 65 6d 69 63 |    \:  |   Semic|
|00000470| 6f 6c 6f 6e 20 20 20 20 | 20 5c 3b 20 20 20 20 20 |olon    | \;     |
|00000480| 4c 65 73 73 20 74 68 61 | 6e 20 20 20 20 20 5c 3c |Less tha|n     \<|
|00000490| 0d 25 25 20 20 20 45 71 | 75 61 6c 73 20 20 20 20 |.%%   Eq|uals    |
|000004a0| 20 20 20 20 5c 3d 20 20 | 20 20 20 47 72 65 61 74 |    \=  |   Great|
|000004b0| 65 72 20 74 68 61 6e 20 | 20 5c 3e 20 20 20 20 20 |er than | \>     |
|000004c0| 51 75 65 73 74 69 6f 6e | 20 6d 61 72 6b 20 5c 3f |Question| mark \?|
|000004d0| 0d 25 25 20 20 20 43 6f | 6d 6d 65 72 63 69 61 6c |.%%   Co|mmercial|
|000004e0| 20 61 74 20 5c 40 20 20 | 20 20 20 4c 65 66 74 20 | at \@  |   Left |
|000004f0| 62 72 61 63 6b 65 74 20 | 20 5c 5b 20 20 20 20 20 |bracket | \[     |
|00000500| 42 61 63 6b 73 6c 61 73 | 68 20 20 20 20 20 5c 5c |Backslas|h     \\|
|00000510| 0d 25 25 20 20 20 52 69 | 67 68 74 20 62 72 61 63 |.%%   Ri|ght brac|
|00000520| 6b 65 74 20 5c 5d 20 20 | 20 20 20 43 69 72 63 75 |ket \]  |   Circu|
|00000530| 6d 66 6c 65 78 20 20 20 | 20 5c 5e 20 20 20 20 20 |mflex   | \^     |
|00000540| 55 6e 64 65 72 73 63 6f | 72 65 20 20 20 20 5c 5f |Undersco|re    \_|
|00000550| 0d 25 25 20 20 20 47 72 | 61 76 65 20 61 63 63 65 |.%%   Gr|ave acce|
|00000560| 6e 74 20 20 5c 60 20 20 | 20 20 20 4c 65 66 74 20 |nt  \`  |   Left |
|00000570| 62 72 61 63 65 20 20 20 | 20 5c 7b 20 20 20 20 20 |brace   | \{     |
|00000580| 56 65 72 74 69 63 61 6c | 20 62 61 72 20 20 5c 7c |Vertical| bar  \||
|00000590| 0d 25 25 20 20 20 52 69 | 67 68 74 20 62 72 61 63 |.%%   Ri|ght brac|
|000005a0| 65 20 20 20 5c 7d 20 20 | 20 20 20 54 69 6c 64 65 |e   \}  |   Tilde|
|000005b0| 20 20 20 20 20 20 20 20 | 20 5c 7e 7d 0d 25 25 0d |        | \~}.%%.|
|000005c0| 25 25 20 50 61 63 6b 61 | 67 65 20 60 74 68 65 6f |%% Packa|ge `theo|
|000005d0| 72 65 6d 27 20 74 6f 20 | 75 73 65 20 77 69 74 68 |rem' to |use with|
|000005e0| 20 4c 61 54 65 58 32 65 | 0d 25 25 20 43 6f 70 79 | LaTeX2e|.%% Copy|
|000005f0| 72 69 67 68 74 20 28 43 | 29 20 31 39 38 39 2d 31 |right (C|) 1989-1|
|00000600| 39 39 34 20 46 72 61 6e | 6b 20 4d 69 74 74 65 6c |994 Fran|k Mittel|
|00000610| 62 61 63 68 2c 20 61 6c | 6c 20 72 69 67 68 74 73 |bach, al|l rights|
|00000620| 20 72 65 73 65 72 76 65 | 64 2e 0d 25 25 0d 25 25 | reserve|d..%%.%%|
|00000630| 20 46 6f 72 20 65 72 72 | 6f 72 20 72 65 70 6f 72 | For err|or repor|
|00000640| 74 73 20 66 6f 72 20 55 | 4e 43 48 41 4e 47 45 44 |ts for U|NCHANGED|
|00000650| 20 76 65 72 73 69 6f 6e | 73 20 73 65 65 20 72 65 | version|s see re|
|00000660| 61 64 6d 65 2e 74 78 74 | 2e 0d 25 25 20 20 20 54 |adme.txt|..%%   T|
|00000670| 68 65 20 6e 65 78 74 20 | 66 65 77 20 6c 69 6e 65 |he next |few line|
|00000680| 73 20 64 65 66 69 6e 65 | 20 74 68 65 6f 72 65 6d |s define| theorem|
|00000690| 20 73 65 74 73 20 77 68 | 69 63 68 20 61 72 65 20 | sets wh|ich are |
|000006a0| 75 73 65 64 0d 25 25 20 | 20 20 69 6e 20 74 68 65 |used.%% |  in the|
|000006b0| 20 65 78 61 6d 70 6c 65 | 20 73 65 63 74 69 6f 6e | example| section|
|000006c0| 20 6f 66 20 74 68 65 20 | 64 6f 63 75 6d 65 6e 74 | of the |document|
|000006d0| 61 74 69 6f 6e 2e 0d 5c | 40 69 66 75 6e 64 65 66 |ation..\|@ifundef|
|000006e0| 69 6e 65 64 7b 74 68 65 | 6f 72 65 6d 40 73 74 79 |ined{the|orem@sty|
|000006f0| 6c 65 7d 7b 7d 7b 5c 65 | 6e 64 69 6e 70 75 74 7d |le}{}{\e|ndinput}|
|00000700| 0d 5c 50 72 6f 76 69 64 | 65 73 50 61 63 6b 61 67 |.\Provid|esPackag|
|00000710| 65 7b 74 68 65 6f 72 65 | 6d 7d 5b 5c 66 69 6c 65 |e{theore|m}[\file|
|00000720| 64 61 74 65 5c 73 70 61 | 63 65 0d 20 20 20 20 20 |date\spa|ce.     |
|00000730| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 |        |        |
|00000740| 20 20 20 20 20 20 4c 61 | 54 65 58 32 65 20 70 61 |      La|TeX2e pa|
|00000750| 63 6b 61 67 65 20 5c 66 | 69 6c 65 76 65 72 73 69 |ckage \f|ileversi|
|00000760| 6f 6e 5d 0d 5c 74 79 70 | 65 6f 75 74 7b 50 61 63 |on].\typ|eout{Pac|
|00000770| 6b 61 67 65 3a 20 60 74 | 68 65 6f 72 65 6d 27 20 |kage: `t|heorem' |
|00000780| 5c 66 69 6c 65 76 65 72 | 73 69 6f 6e 0d 20 20 20 |\filever|sion.   |
|00000790| 20 20 20 20 20 20 5c 40 | 73 70 61 63 65 73 20 3c |      \@|spaces <|
|000007a0| 5c 66 69 6c 65 64 61 74 | 65 3e 20 20 28 46 4d 69 |\filedat|e>  (FMi|
|000007b0| 29 7d 0d 5c 74 79 70 65 | 6f 75 74 7b 45 6e 67 6c |)}.\type|out{Engl|
|000007c0| 69 73 68 20 64 6f 63 75 | 6d 65 6e 74 61 74 69 6f |ish docu|mentatio|
|000007d0| 6e 20 61 73 20 6f 66 0d | 20 20 20 20 20 20 20 20 |n as of.|        |
|000007e0| 20 3c 5c 64 6f 63 64 61 | 74 65 3e 20 20 28 46 4d | <\docda|te>  (FM|
|000007f0| 69 29 7d 0d 5c 67 64 65 | 66 5c 74 68 65 6f 72 65 |i)}.\gde|f\theore|
|00000800| 6d 73 74 79 6c 65 23 31 | 7b 25 0d 20 20 20 5c 40 |mstyle#1|{%.   \@|
|00000810| 69 66 75 6e 64 65 66 69 | 6e 65 64 7b 74 68 40 23 |ifundefi|ned{th@#|
|00000820| 31 7d 7b 5c 40 77 61 72 | 6e 69 6e 67 0d 20 20 20 |1}{\@war|ning.   |
|00000830| 20 20 20 20 20 20 20 7b | 55 6e 6b 6e 6f 77 6e 20 |       {|Unknown |
|00000840| 74 68 65 6f 72 65 6d 73 | 74 79 6c 65 20 60 23 31 |theorems|tyle `#1|
|00000850| 27 2e 20 55 73 69 6e 67 | 20 60 70 6c 61 69 6e 27 |'. Using| `plain'|
|00000860| 7d 25 0d 20 20 20 20 20 | 20 20 20 20 20 5c 74 68 |}%.     |     \th|
|00000870| 65 6f 72 65 6d 40 73 74 | 79 6c 65 7b 70 6c 61 69 |eorem@st|yle{plai|
|00000880| 6e 7d 7d 25 0d 20 20 20 | 20 20 20 7b 5c 74 68 65 |n}}%.   |   {\the|
|00000890| 6f 72 65 6d 40 73 74 79 | 6c 65 7b 23 31 7d 7d 25 |orem@sty|le{#1}}%|
|000008a0| 0d 20 20 20 20 20 20 5c | 62 65 67 69 6e 67 72 6f |.      \|begingro|
|000008b0| 75 70 0d 20 20 20 20 20 | 20 20 20 5c 63 73 6e 61 |up.     |   \csna|
|000008c0| 6d 65 20 74 68 40 5c 74 | 68 65 5c 74 68 65 6f 72 |me th@\t|he\theor|
|000008d0| 65 6d 40 73 74 79 6c 65 | 20 5c 65 6e 64 63 73 6e |em@style| \endcsn|
|000008e0| 61 6d 65 0d 20 20 20 20 | 20 20 5c 65 6e 64 67 72 |ame.    |  \endgr|
|000008f0| 6f 75 70 7d 0d 5c 67 6c | 6f 62 61 6c 5c 6c 65 74 |oup}.\gl|obal\let|
|00000900| 5c 40 62 65 67 69 6e 74 | 68 65 6f 72 65 6d 5c 72 |\@begint|heorem\r|
|00000910| 65 6c 61 78 0d 5c 67 6c | 6f 62 61 6c 5c 6c 65 74 |elax.\gl|obal\let|
|00000920| 5c 40 6f 70 61 72 67 62 | 65 67 69 6e 74 68 65 6f |\@opargb|egintheo|
|00000930| 72 65 6d 5c 72 65 6c 61 | 78 0d 5c 6e 65 77 74 6f |rem\rela|x.\newto|
|00000940| 6b 73 5c 74 68 65 6f 72 | 65 6d 40 73 74 79 6c 65 |ks\theor|em@style|
|00000950| 0d 5c 67 6c 6f 62 61 6c | 5c 74 68 65 6f 72 65 6d |.\global|\theorem|
|00000960| 40 73 74 79 6c 65 7b 70 | 6c 61 69 6e 7d 0d 5c 67 |@style{p|lain}.\g|
|00000970| 64 65 66 5c 74 68 65 6f | 72 65 6d 62 6f 64 79 66 |def\theo|rembodyf|
|00000980| 6f 6e 74 23 31 7b 25 0d | 20 20 20 5c 64 65 66 5c |ont#1{%.|   \def\|
|00000990| 40 74 65 6d 70 61 7b 23 | 31 7d 25 0d 20 20 20 5c |@tempa{#|1}%.   \|
|000009a0| 69 66 78 5c 40 74 65 6d | 70 61 5c 40 65 6d 70 74 |ifx\@tem|pa\@empt|
|000009b0| 79 0d 20 20 20 20 5c 74 | 68 65 6f 72 65 6d 40 62 |y.    \t|heorem@b|
|000009c0| 6f 64 79 66 6f 6e 74 7b | 7d 25 0d 20 20 20 5c 65 |odyfont{|}%.   \e|
|000009d0| 6c 73 65 0d 20 20 20 20 | 5c 74 68 65 6f 72 65 6d |lse.    |\theorem|
|000009e0| 40 62 6f 64 79 66 6f 6e | 74 7b 5c 72 65 73 65 74 |@bodyfon|t{\reset|
|000009f0| 40 66 6f 6e 74 23 31 7d | 25 0d 20 20 20 5c 66 69 |@font#1}|%.   \fi|
|00000a00| 0d 20 20 20 7d 0d 5c 6e | 65 77 74 6f 6b 73 5c 74 |.   }.\n|ewtoks\t|
|00000a10| 68 65 6f 72 65 6d 40 62 | 6f 64 79 66 6f 6e 74 0d |heorem@b|odyfont.|
|00000a20| 5c 67 6c 6f 62 61 6c 5c | 74 68 65 6f 72 65 6d 40 |\global\|theorem@|
|00000a30| 62 6f 64 79 66 6f 6e 74 | 7b 7d 0d 5c 67 64 65 66 |bodyfont|{}.\gdef|
|00000a40| 5c 74 68 65 6f 72 65 6d | 68 65 61 64 65 72 66 6f |\theorem|headerfo|
|00000a50| 6e 74 23 31 7b 5c 67 64 | 65 66 5c 74 68 65 6f 72 |nt#1{\gd|ef\theor|
|00000a60| 65 6d 40 68 65 61 64 65 | 72 66 6f 6e 74 7b 23 31 |em@heade|rfont{#1|
|00000a70| 7d 25 0d 20 20 20 20 20 | 20 20 5c 67 64 65 66 5c |}%.     |  \gdef\|
|00000a80| 74 68 65 6f 72 65 6d 68 | 65 61 64 65 72 66 6f 6e |theoremh|eaderfon|
|00000a90| 74 23 23 31 7b 25 0d 20 | 20 20 20 20 20 20 20 5c |t##1{%. |       \|
|00000aa0| 74 79 70 65 6f 75 74 7b | 5c 73 74 72 69 6e 67 5c |typeout{|\string\|
|00000ab0| 74 68 65 6f 72 65 6d 68 | 65 61 64 65 72 66 6f 6e |theoremh|eaderfon|
|00000ac0| 74 5c 73 70 61 63 65 20 | 73 68 6f 75 6c 64 20 62 |t\space |should b|
|00000ad0| 65 20 75 73 65 64 0d 20 | 20 20 20 20 20 20 20 20 |e used. |        |
|00000ae0| 20 20 20 20 20 20 20 20 | 6f 6e 6c 79 20 6f 6e 63 |        |only onc|
|00000af0| 65 2e 7d 7d 7d 0d 5c 69 | 66 78 5c 75 70 73 68 61 |e.}}}.\i|fx\upsha|
|00000b00| 70 65 5c 75 6e 64 65 66 | 69 6e 65 64 0d 5c 67 64 |pe\undef|ined.\gd|
|00000b10| 65 66 5c 74 68 65 6f 72 | 65 6d 40 68 65 61 64 65 |ef\theor|em@heade|
|00000b20| 72 66 6f 6e 74 7b 5c 62 | 66 73 65 72 69 65 73 7d |rfont{\b|fseries}|
|00000b30| 0d 5c 65 6c 73 65 20 5c | 67 64 65 66 5c 74 68 65 |.\else \|gdef\the|
|00000b40| 6f 72 65 6d 40 68 65 61 | 64 65 72 66 6f 6e 74 7b |orem@hea|derfont{|
|00000b50| 5c 6e 6f 72 6d 61 6c 66 | 6f 6e 74 5c 62 66 73 65 |\normalf|ont\bfse|
|00000b60| 72 69 65 73 7d 5c 66 69 | 0d 5c 67 64 65 66 5c 74 |ries}\fi|.\gdef\t|
|00000b70| 68 40 70 6c 61 69 6e 7b | 5c 40 69 6e 70 75 74 40 |h@plain{|\@input@|
|00000b80| 7b 74 68 70 2e 73 74 79 | 7d 7d 0d 5c 67 64 65 66 |{thp.sty|}}.\gdef|
|00000b90| 5c 74 68 40 62 72 65 61 | 6b 7b 5c 40 69 6e 70 75 |\th@brea|k{\@inpu|
|00000ba0| 74 40 7b 74 68 62 2e 73 | 74 79 7d 7d 0d 5c 67 64 |t@{thb.s|ty}}.\gd|
|00000bb0| 65 66 5c 74 68 40 6d 61 | 72 67 69 6e 62 72 65 61 |ef\th@ma|rginbrea|
|00000bc0| 6b 7b 5c 40 69 6e 70 75 | 74 40 7b 74 68 6d 62 2e |k{\@inpu|t@{thmb.|
|00000bd0| 73 74 79 7d 7d 0d 5c 67 | 64 65 66 5c 74 68 40 63 |sty}}.\g|def\th@c|
|00000be0| 68 61 6e 67 65 62 72 65 | 61 6b 7b 5c 40 69 6e 70 |hangebre|ak{\@inp|
|00000bf0| 75 74 40 7b 74 68 63 62 | 2e 73 74 79 7d 7d 0d 5c |ut@{thcb|.sty}}.\|
|00000c00| 67 64 65 66 5c 74 68 40 | 63 68 61 6e 67 65 7b 5c |gdef\th@|change{\|
|00000c10| 40 69 6e 70 75 74 40 7b | 74 68 63 2e 73 74 79 7d |@input@{|thc.sty}|
|00000c20| 7d 0d 5c 67 64 65 66 5c | 74 68 40 6d 61 72 67 69 |}.\gdef\|th@margi|
|00000c30| 6e 7b 5c 40 69 6e 70 75 | 74 40 7b 74 68 6d 2e 73 |n{\@inpu|t@{thm.s|
|00000c40| 74 79 7d 7d 0d 5c 67 64 | 65 66 5c 40 78 6e 74 68 |ty}}.\gd|ef\@xnth|
|00000c50| 6d 23 31 23 32 5b 23 33 | 5d 7b 5c 65 78 70 61 6e |m#1#2[#3|]{\expan|
|00000c60| 64 61 66 74 65 72 5c 40 | 69 66 64 65 66 69 6e 61 |dafter\@|ifdefina|
|00000c70| 62 6c 65 5c 63 73 6e 61 | 6d 65 20 23 31 5c 65 6e |ble\csna|me #1\en|
|00000c80| 64 63 73 6e 61 6d 65 0d | 20 20 20 7b 25 0d 20 20 |dcsname.|   {%.  |
|00000c90| 20 20 5c 40 64 65 66 69 | 6e 65 63 6f 75 6e 74 65 |  \@defi|necounte|
|00000ca0| 72 7b 23 31 7d 5c 40 61 | 64 64 74 6f 72 65 73 65 |r{#1}\@a|ddtorese|
|00000cb0| 74 7b 23 31 7d 7b 23 33 | 7d 25 0d 20 20 20 20 5c |t{#1}{#3|}%.    \|
|00000cc0| 65 78 70 61 6e 64 61 66 | 74 65 72 5c 78 64 65 66 |expandaf|ter\xdef|
|00000cd0| 5c 63 73 6e 61 6d 65 20 | 74 68 65 23 31 5c 65 6e |\csname |the#1\en|
|00000ce0| 64 63 73 6e 61 6d 65 0d | 20 20 20 20 20 20 7b 5c |dcsname.|      {\|
|00000cf0| 65 78 70 61 6e 64 61 66 | 74 65 72 20 5c 6e 6f 65 |expandaf|ter \noe|
|00000d00| 78 70 61 6e 64 20 5c 63 | 73 6e 61 6d 65 20 74 68 |xpand \c|sname th|
|00000d10| 65 23 33 5c 65 6e 64 63 | 73 6e 61 6d 65 0d 20 20 |e#3\endc|sname.  |
|00000d20| 20 20 20 20 20 5c 40 74 | 68 6d 63 6f 75 6e 74 65 |     \@t|hmcounte|
|00000d30| 72 73 65 70 20 5c 40 74 | 68 6d 63 6f 75 6e 74 65 |rsep \@t|hmcounte|
|00000d40| 72 7b 23 31 7d 7d 25 0d | 20 20 20 20 5c 64 65 66 |r{#1}}%.|    \def|
|00000d50| 5c 40 74 65 6d 70 61 7b | 5c 67 6c 6f 62 61 6c 5c |\@tempa{|\global\|
|00000d60| 40 6e 61 6d 65 64 65 66 | 7b 23 31 7d 7d 25 0d 20 |@namedef|{#1}}%. |
|00000d70| 20 20 20 5c 65 78 70 61 | 6e 64 61 66 74 65 72 20 |   \expa|ndafter |
|00000d80| 5c 40 74 65 6d 70 61 20 | 5c 65 78 70 61 6e 64 61 |\@tempa |\expanda|
|00000d90| 66 74 65 72 7b 25 0d 20 | 20 20 20 20 20 5c 63 73 |fter{%. |     \cs|
|00000da0| 6e 61 6d 65 20 74 68 40 | 5c 74 68 65 20 5c 74 68 |name th@|\the \th|
|00000db0| 65 6f 72 65 6d 40 73 74 | 79 6c 65 0d 20 20 20 20 |eorem@st|yle.    |
|00000dc0| 20 20 20 20 20 20 20 20 | 5c 65 78 70 61 6e 64 61 |        |\expanda|
|00000dd0| 66 74 65 72 20 5c 65 6e | 64 63 73 6e 61 6d 65 20 |fter \en|dcsname |
|00000de0| 5c 74 68 65 20 5c 74 68 | 65 6f 72 65 6d 40 62 6f |\the \th|eorem@bo|
|00000df0| 64 79 66 6f 6e 74 0d 20 | 20 20 20 20 5c 40 74 68 |dyfont. |    \@th|
|00000e00| 6d 7b 23 31 7d 7b 23 32 | 7d 7d 25 0d 20 20 20 20 |m{#1}{#2|}}%.    |
|00000e10| 5c 67 6c 6f 62 61 6c 20 | 5c 65 78 70 61 6e 64 61 |\global |\expanda|
|00000e20| 66 74 65 72 20 5c 6c 65 | 74 20 5c 63 73 6e 61 6d |fter \le|t \csnam|
|00000e30| 65 20 65 6e 64 23 31 5c | 65 6e 64 63 73 6e 61 6d |e end#1\|endcsnam|
|00000e40| 65 20 5c 40 65 6e 64 74 | 68 65 6f 72 65 6d 0d 20 |e \@endt|heorem. |
|00000e50| 20 20 7d 7d 0d 5c 67 64 | 65 66 5c 40 79 6e 74 68 |  }}.\gd|ef\@ynth|
|00000e60| 6d 23 31 23 32 7b 5c 65 | 78 70 61 6e 64 61 66 74 |m#1#2{\e|xpandaft|
|00000e70| 65 72 5c 40 69 66 64 65 | 66 69 6e 61 62 6c 65 5c |er\@ifde|finable\|
|00000e80| 63 73 6e 61 6d 65 20 23 | 31 5c 65 6e 64 63 73 6e |csname #|1\endcsn|
|00000e90| 61 6d 65 0d 20 20 20 7b | 5c 40 64 65 66 69 6e 65 |ame.   {|\@define|
|00000ea0| 63 6f 75 6e 74 65 72 7b | 23 31 7d 25 0d 20 20 20 |counter{|#1}%.   |
|00000eb0| 20 5c 65 78 70 61 6e 64 | 61 66 74 65 72 5c 78 64 | \expand|after\xd|
|00000ec0| 65 66 5c 63 73 6e 61 6d | 65 20 74 68 65 23 31 5c |ef\csnam|e the#1\|
|00000ed0| 65 6e 64 63 73 6e 61 6d | 65 7b 5c 40 74 68 6d 63 |endcsnam|e{\@thmc|
|00000ee0| 6f 75 6e 74 65 72 7b 23 | 31 7d 7d 25 0d 20 20 20 |ounter{#|1}}%.   |
|00000ef0| 20 5c 64 65 66 5c 40 74 | 65 6d 70 61 7b 5c 67 6c | \def\@t|empa{\gl|
|00000f00| 6f 62 61 6c 5c 40 6e 61 | 6d 65 64 65 66 7b 23 31 |obal\@na|medef{#1|
|00000f10| 7d 7d 5c 65 78 70 61 6e | 64 61 66 74 65 72 20 5c |}}\expan|dafter \|
|00000f20| 40 74 65 6d 70 61 0d 20 | 20 20 20 20 5c 65 78 70 |@tempa. |    \exp|
|00000f30| 61 6e 64 61 66 74 65 72 | 7b 5c 63 73 6e 61 6d 65 |andafter|{\csname|
|00000f40| 20 74 68 40 5c 74 68 65 | 20 5c 74 68 65 6f 72 65 | th@\the| \theore|
|00000f50| 6d 40 73 74 79 6c 65 20 | 5c 65 78 70 61 6e 64 61 |m@style |\expanda|
|00000f60| 66 74 65 72 0d 20 20 20 | 20 20 5c 65 6e 64 63 73 |fter.   |  \endcs|
|00000f70| 6e 61 6d 65 20 5c 74 68 | 65 5c 74 68 65 6f 72 65 |name \th|e\theore|
|00000f80| 6d 40 62 6f 64 79 66 6f | 6e 74 20 5c 40 74 68 6d |m@bodyfo|nt \@thm|
|00000f90| 7b 23 31 7d 7b 23 32 7d | 7d 25 0d 20 20 20 20 5c |{#1}{#2}|}%.    \|
|00000fa0| 67 6c 6f 62 61 6c 20 5c | 65 78 70 61 6e 64 61 66 |global \|expandaf|
|00000fb0| 74 65 72 20 5c 6c 65 74 | 20 5c 63 73 6e 61 6d 65 |ter \let| \csname|
|00000fc0| 20 65 6e 64 23 31 5c 65 | 6e 64 63 73 6e 61 6d 65 | end#1\e|ndcsname|
|00000fd0| 20 5c 40 65 6e 64 74 68 | 65 6f 72 65 6d 7d 7d 0d | \@endth|eorem}}.|
|00000fe0| 5c 67 64 65 66 5c 40 6f | 74 68 6d 23 31 5b 23 32 |\gdef\@o|thm#1[#2|
|00000ff0| 5d 23 33 7b 5c 65 78 70 | 61 6e 64 61 66 74 65 72 |]#3{\exp|andafter|
|00001000| 5c 40 69 66 64 65 66 69 | 6e 61 62 6c 65 5c 63 73 |\@ifdefi|nable\cs|
|00001010| 6e 61 6d 65 20 23 31 5c | 65 6e 64 63 73 6e 61 6d |name #1\|endcsnam|
|00001020| 65 0d 20 20 7b 5c 65 78 | 70 61 6e 64 61 66 74 65 |e.  {\ex|pandafte|
|00001030| 72 20 5c 78 64 65 66 20 | 5c 63 73 6e 61 6d 65 20 |r \xdef |\csname |
|00001040| 74 68 65 23 31 5c 65 6e | 64 63 73 6e 61 6d 65 0d |the#1\en|dcsname.|
|00001050| 20 20 20 20 20 7b 5c 65 | 78 70 61 6e 64 61 66 74 |     {\e|xpandaft|
|00001060| 65 72 20 5c 6e 6f 65 78 | 70 61 6e 64 20 5c 63 73 |er \noex|pand \cs|
|00001070| 6e 61 6d 65 20 74 68 65 | 23 32 5c 65 6e 64 63 73 |name the|#2\endcs|
|00001080| 6e 61 6d 65 7d 25 0d 20 | 20 20 20 5c 64 65 66 5c |name}%. |   \def\|
|00001090| 40 74 65 6d 70 61 7b 5c | 67 6c 6f 62 61 6c 5c 40 |@tempa{\|global\@|
|000010a0| 6e 61 6d 65 64 65 66 7b | 23 31 7d 7d 5c 65 78 70 |namedef{|#1}}\exp|
|000010b0| 61 6e 64 61 66 74 65 72 | 20 5c 40 74 65 6d 70 61 |andafter| \@tempa|
|000010c0| 0d 20 20 20 20 20 5c 65 | 78 70 61 6e 64 61 66 74 |.     \e|xpandaft|
|000010d0| 65 72 7b 5c 63 73 6e 61 | 6d 65 20 74 68 40 5c 74 |er{\csna|me th@\t|
|000010e0| 68 65 20 5c 74 68 65 6f | 72 65 6d 40 73 74 79 6c |he \theo|rem@styl|
|000010f0| 65 20 5c 65 78 70 61 6e | 64 61 66 74 65 72 0d 20 |e \expan|dafter. |
|00001100| 20 20 20 20 5c 65 6e 64 | 63 73 6e 61 6d 65 20 5c |    \end|csname \|
|00001110| 74 68 65 5c 74 68 65 6f | 72 65 6d 40 62 6f 64 79 |the\theo|rem@body|
|00001120| 66 6f 6e 74 20 5c 40 74 | 68 6d 7b 23 32 7d 7b 23 |font \@t|hm{#2}{#|
|00001130| 33 7d 7d 25 0d 20 20 20 | 20 5c 67 6c 6f 62 61 6c |3}}%.   | \global|
|00001140| 20 5c 65 78 70 61 6e 64 | 61 66 74 65 72 20 5c 6c | \expand|after \l|
|00001150| 65 74 20 5c 63 73 6e 61 | 6d 65 20 65 6e 64 23 31 |et \csna|me end#1|
|00001160| 5c 65 6e 64 63 73 6e 61 | 6d 65 20 5c 40 65 6e 64 |\endcsna|me \@end|
|00001170| 74 68 65 6f 72 65 6d 7d | 7d 0d 5c 67 64 65 66 5c |theorem}|}.\gdef\|
|00001180| 40 74 68 6d 23 31 23 32 | 7b 5c 72 65 66 73 74 65 |@thm#1#2|{\refste|
|00001190| 70 63 6f 75 6e 74 65 72 | 7b 23 31 7d 25 0d 20 20 |pcounter|{#1}%.  |
|000011a0| 20 5c 74 72 69 76 6c 69 | 73 74 0d 20 20 20 5c 40 | \trivli|st.   \@|
|000011b0| 74 6f 70 73 65 70 20 5c | 74 68 65 6f 72 65 6d 70 |topsep \|theoremp|
|000011c0| 72 65 73 6b 69 70 61 6d | 6f 75 6e 74 20 20 20 20 |reskipam|ount    |
|000011d0| 20 20 20 20 20 20 20 20 | 20 20 20 25 20 75 73 65 |        |   % use|
|000011e0| 64 20 62 79 20 66 69 72 | 73 74 20 5c 69 74 65 6d |d by fir|st \item|
|000011f0| 0d 20 20 20 5c 40 74 6f | 70 73 65 70 61 64 64 20 |.   \@to|psepadd |
|00001200| 5c 74 68 65 6f 72 65 6d | 70 6f 73 74 73 6b 69 70 |\theorem|postskip|
|00001210| 61 6d 6f 75 6e 74 20 20 | 20 20 20 20 20 20 20 20 |amount  |        |
|00001220| 20 25 20 75 73 65 64 20 | 62 79 20 5c 40 65 6e 64 | % used |by \@end|
|00001230| 70 61 72 65 6e 76 0d 20 | 20 20 5c 40 69 66 6e 65 |parenv. |  \@ifne|
|00001240| 78 74 63 68 61 72 20 5b | 25 0d 20 20 20 7b 5c 40 |xtchar [|%.   {\@|
|00001250| 79 74 68 6d 7b 23 31 7d | 7b 23 32 7d 7d 25 0d 20 |ythm{#1}|{#2}}%. |
|00001260| 20 20 7b 5c 40 62 65 67 | 69 6e 74 68 65 6f 72 65 |  {\@beg|intheore|
|00001270| 6d 7b 23 32 7d 7b 5c 63 | 73 6e 61 6d 65 20 74 68 |m{#2}{\c|sname th|
|00001280| 65 23 31 5c 65 6e 64 63 | 73 6e 61 6d 65 7d 5c 69 |e#1\endc|sname}\i|
|00001290| 67 6e 6f 72 65 73 70 61 | 63 65 73 7d 7d 0d 5c 67 |gnorespa|ces}}.\g|
|000012a0| 6c 6f 62 61 6c 5c 6c 65 | 74 5c 40 78 74 68 6d 5c |lobal\le|t\@xthm\|
|000012b0| 72 65 6c 61 78 0d 5c 6e | 65 77 73 6b 69 70 5c 74 |relax.\n|ewskip\t|
|000012c0| 68 65 6f 72 65 6d 70 72 | 65 73 6b 69 70 61 6d 6f |heorempr|eskipamo|
|000012d0| 75 6e 74 0d 5c 6e 65 77 | 73 6b 69 70 5c 74 68 65 |unt.\new|skip\the|
|000012e0| 6f 72 65 6d 70 6f 73 74 | 73 6b 69 70 61 6d 6f 75 |orempost|skipamou|
|000012f0| 6e 74 0d 5c 67 6c 6f 62 | 61 6c 5c 73 65 74 6c 65 |nt.\glob|al\setle|
|00001300| 6e 67 74 68 5c 74 68 65 | 6f 72 65 6d 70 72 65 73 |ngth\the|orempres|
|00001310| 6b 69 70 61 6d 6f 75 6e | 74 7b 31 32 70 74 20 70 |kipamoun|t{12pt p|
|00001320| 6c 75 73 20 35 70 74 20 | 6d 69 6e 75 73 20 33 70 |lus 5pt |minus 3p|
|00001330| 74 7d 0d 5c 67 6c 6f 62 | 61 6c 5c 73 65 74 6c 65 |t}.\glob|al\setle|
|00001340| 6e 67 74 68 5c 74 68 65 | 6f 72 65 6d 70 6f 73 74 |ngth\the|orempost|
|00001350| 73 6b 69 70 61 6d 6f 75 | 6e 74 7b 38 70 74 20 70 |skipamou|nt{8pt p|
|00001360| 6c 75 73 20 33 70 74 20 | 6d 69 6e 75 73 20 31 2e |lus 3pt |minus 1.|
|00001370| 35 70 74 7d 0d 5c 67 6c | 6f 62 61 6c 5c 6c 65 74 |5pt}.\gl|obal\let|
|00001380| 5c 40 65 6e 64 74 68 65 | 6f 72 65 6d 3d 5c 65 6e |\@endthe|orem=\en|
|00001390| 64 74 72 69 76 6c 69 73 | 74 0d 5c 40 6f 6e 6c 79 |dtrivlis|t.\@only|
|000013a0| 70 72 65 61 6d 62 6c 65 | 5c 40 78 6e 74 68 6d 0d |preamble|\@xnthm.|
|000013b0| 5c 40 6f 6e 6c 79 70 72 | 65 61 6d 62 6c 65 5c 40 |\@onlypr|eamble\@|
|000013c0| 79 6e 74 68 6d 0d 5c 40 | 6f 6e 6c 79 70 72 65 61 |ynthm.\@|onlyprea|
|000013d0| 6d 62 6c 65 5c 40 6f 74 | 68 6d 0d 5c 40 6f 6e 6c |mble\@ot|hm.\@onl|
|000013e0| 79 70 72 65 61 6d 62 6c | 65 5c 6e 65 77 74 68 65 |ypreambl|e\newthe|
|000013f0| 6f 72 65 6d 0d 5c 40 6f | 6e 6c 79 70 72 65 61 6d |orem.\@o|nlypream|
|00001400| 62 6c 65 5c 74 68 65 6f | 72 65 6d 73 74 79 6c 65 |ble\theo|remstyle|
|00001410| 0d 5c 40 6f 6e 6c 79 70 | 72 65 61 6d 62 6c 65 5c |.\@onlyp|reamble\|
|00001420| 74 68 65 6f 72 65 6d 62 | 6f 64 79 66 6f 6e 74 0d |theoremb|odyfont.|
|00001430| 5c 40 6f 6e 6c 79 70 72 | 65 61 6d 62 6c 65 5c 74 |\@onlypr|eamble\t|
|00001440| 68 65 6f 72 65 6d 68 65 | 61 64 65 72 66 6f 6e 74 |heoremhe|aderfont|
|00001450| 0d 5c 74 68 65 6f 72 65 | 6d 73 74 79 6c 65 7b 70 |.\theore|mstyle{p|
|00001460| 6c 61 69 6e 7d 0d 0d 5c | 65 6e 64 69 6e 70 75 74 |lain}..\|endinput|
|00001470| 0d 25 25 20 0d 25 25 20 | 45 6e 64 20 6f 66 20 66 |.%% .%% |End of f|
|00001480| 69 6c 65 20 60 74 68 65 | 6f 72 65 6d 2e 73 74 79 |ile `the|orem.sty|
|00001490| 27 2e 0d                |                         |'..     |        |
+--------+-------------------------+-------------------------+--------+--------+